PSubSet(void) PSubSet(PSubSet& s) PSubSet& operator=(PSubSet& s) void debug_out(ostream& c, int indent)
Standard housekeeping functions.